Small Forcings and Cohen Reals
نویسنده
چکیده
We show that all posets of size א1 may have to add a Cohen real and develop some forcing machinery for obtaining this sort of results.
منابع مشابه
Saccharinity
A. We present a method to iterate finitely splitting lim-sup tree forcings along non-wellfounded linear orders. We apply this method to construct a forcing (without using an inaccessible or amalgamation) that makes all definable sets of reals measurable with respect to a certain (non-ccc) ideal. 1. I In the seminal paper [10] Solovay proved that in the Levy model (after collap...
متن کاملSubcomplete Forcing and L-Forcing
ABSRACT In his book Proper Forcing (1982) Shelah introduced three classes of forcings (complete, proper, and semi-proper) and proved a strong iteration theorem for each of them: The first two are closed under countable support iterations. The latter is closed under revised countable support iterations subject to certain standard restraints. These theorems have been heavily used in modern set th...
متن کاملMathias-Prikry and Laver type forcing; summable ideals, coideals, and +-selective filters
We study the Mathias–Prikry and the Laver type forcings associated with filters and coideals. We isolate a crucial combinatorial property of Mathias reals, and prove that Mathias–Prikry forcings with summable ideals are all mutually bi-embeddable. We show that Mathias forcing associated with the complement of an analytic ideal does add a dominating real. We also characterize filters for which t...
متن کاملHow Special are Cohen and Random Forcings i.e. Boolean Algebras of the family of subsets of reals modulo meagre or null
We prove that any Souslin c.c.c. forcing notion which add a non dominated real add a Cohen real. We also prove that any Souslin c.c.c. forcing add a real which is not on any old narrow tree. The feeling that those two forcing notions -Cohen and Random(equivalently the corresponding Boolean algebras P(R)/(meagre sets), P(R)/(null sets)) are special, was probably old and widespread. A reasonable ...
متن کاملAdding a Lot of Cohen Reals by Adding a Few
A basic fact about Cohen reals is that adding λ Cohen reals cannot produce more than λ of Cohen reals. More precisely, if 〈rα|α < λ〉 are λ-Cohen generic reals over V , then in V [〈rα|α < λ〉] there is no λ -Cohen generic real over V . But if instead of dealing with one universe V we consider two, then the above may no longer be true. The purpose of this paper is to produce models V1 ⊆ V2 such th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Log.
دوره 62 شماره
صفحات -
تاریخ انتشار 1997